1. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
QA
76
.
L28
Vol
.
531

2. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

المؤلف:

المکتبة: (طهران)

موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
TK
7874
.
D55
1990

3. Digital design from zero to one

المؤلف:

المکتبة: (طهران)

موضوع: Digital integrated circuits - Design and construction - Data processing

رده :
TK
7874
.
65
.
D36
1996

4. Digital electronics and design with VHDL

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، VHDL )Computer hardware description language(,Design and construction Data processing ، Digital integrated circuits

رده :
TK
7885
.
7
.
P44

5. Digital electronics and design with VHDL

المؤلف:

المکتبة: (طهران)

موضوع: ، VHDL )Computer hardware description language(,Design and construction -- Data processing ، Digital integrated circuits

رده :
TK
7885
.
7
.
P43D5

6. Digital electronics and design with VHDL /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Digital integrated circuits-- Design and construction-- Data processing,VHDL (Computer hardware description language)

رده :
TK7885
.
7
.
P44
2008

7. Digital logic and microprocessor design with vhdl

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: VHDL )Computer hardware description language(,Digital integrated circuits -- Design and construction -- Data processing

رده :
TK
.
H93
7885
.
7
2006

8. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification

رده :
QA
76
.
L28
Vol
.
1166

9. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification

رده :
QA
76
.
L28
Vol
.
1522

10. High-level test synthesis of digital VLSI circuits

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing

رده :
TK
7874
.
75
.
L44
1997

11. High-performance digital VLSI circuit design

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design

رده :
TK
7874
.
65
.
G8
1996

12. Low-power HF microelectronics: a unified approach

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Linear integrated circuits-- Design and constructions-- Data processing,، Analog-to-digital computers-- Design and construction-- Data processing,، Electric filters-- Design and construction-- Data processing,، Low voltage integrated circuits-- Design and construction-- Data processing,، Microelectronics

رده :
TK
7874
.
L672
1996

13. Modern VLSI design

المؤلف:

المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع: Digital integrated circuits - Design and construction - Data processing,Logic circuits - Design and construction - Data processing,Computer-aided design

رده :
TK
7874
.
65
.
W65

14. Modern VLSI design : a system approach

پدیدآورنده :

موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Logic circuits-- Design and construction-- Data processing,، Computer-aided design

۴ نسخه از این کتاب در ۳ کتابخانه موجود است.

15. Modern VLSI design : a systems approach

المؤلف:

المکتبة: (طهران)

موضوع: Digital integrated circuits - Design and construction - Data processing , Logic circuits - Design and construction - Data processing , Computer-aided design

رده :
TK
7874
.
65
.
W65

16. Modern VLSI design: a systems approach

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Digital integrated circuits- Design and construction- Data processing,، Logic circuits- Design and construction- Data processing,، Computer-aided design

رده :
TK
7874
.
65
.
W65

17. SPARK

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: SPARK (Electronic resource),Digital integrated circuits , Design and construction , Data processing,Digital integrated circuits , Computer simulation,Parallel processing (Electronic computers),Electronic books. , local

رده :
E-BOOK

18. SPARK :

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: SPARK (Electronic resource),Digital integrated circuits , Design and construction , Data processing,Digital integrated circuits , Computer simulation,Parallel processing (Electronic computers)

رده :
E-BOOK

19. Solutions manual to accompany: synthesis and optimization of digital circuits

المؤلف:

المکتبة: (طهران)

موضوع: Digital integrated circuits - Design and construction - Data processing , Digital electronics - Data processing , Computer-aided design

رده :
TK
7874
.
65
.
D42

20. Synthesis and optimization of digital circuits

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Digital integrated circuits - Design and construction - Data processing,Digital electronics - Data processing,Computer-aided design

رده :
TK7874
.
65
.
D4
1994